The QED Manifesto after Two Decades - Version 2.0

The QED manifesto revisited

We present an overview of the current state of formalization of mathematics, and argue what will be needed to make the vision from the QED manifesto come true. This short and intentionally provocative paper is dedicated to Andrzej Trybulec. When I first wrote about the Mizar system, Andrzej wrote to me: I have looked to pages that you have prepared. [. . . ] I advertise them, even if they are a...

Expansions for three - dimensional QED

Strong-coupling series expansions are calculated for the Hamiltonian version of compact lattice electrodynamics in (2+1) dimensions, with 4-component fermions. Series are calculated for the ground-state energy per site, the chiral condensate, and the masses of 'glueball' and positronium states. Comparisons are made with results obtained by other techniques.

A Model of Quantum Electrodynamics with Higher Derivatives

A new version of application Pauli-Villars regularized Green functions in the quantum field theory using higher derivatives is proposed. In this version the regularizing mass M is large but finite. Our approach is demonstrated and discussed on the example of QED. It is shown that in our case there are no ultraviolet divergences and-on the example of the selfenergy spinor Feynman diagram-no infr...

Preface: Twenty Years of the QED Manifesto

Fermion Determinants 2003

It is recommended that lattice QCD representations of the fermion determinant, including the discretization of the Dirac operator, be checked in the continuum limit against known QED determinant results. Recent work on the massive QED fermion determinant in two dimensions is reviewed. A feasible approach to the four-dimensional QED determinant with O(2) × O(3) symmetric background fields is bri...